1. Advanced R

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)

Classification :
QA276
.
45
.
R3
H335
2019

2. Categories, types, and structures

Author:

Library: Library of College of Science University of Tehran (Tehran)

Subject: Programming languages (Electronic computers),Categories (Mathematics)

Classification :
QA76
.
7
.
A76
1991

3. Categories, types, and structures

Author:

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Programming languages (Electronic computers),Categories (Mathematics)

Classification :
QA76
.
7
.
A76
1991

4. Categories, types, and structures

Author:

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Programming languages (Electronic computers),Categories (Mathematics)

Classification :
QA76
.
7
.
A76
1991

5. Categories, types, and structures : an introduction to category theory for the working computer scientist

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers(,، Categories )Mathematics(

Classification :
QA
76
.
7
.
A76
1991

6. Computer mathods in mathematics

Author:

Library: Central Library and Documents Center of Al-Zahra University (Tehran)

Subject: ، Electronic data procssing - Mathematics,، Elecctronic Calculating machines,، programming languages ) Electronic computers(

Classification :
QA
76
.
5
.
A368

7. Computer methods in mathematics

Author:

Library: Library of College of Science University of Tehran (Tehran)

Subject: Mathematics -- Data processing,Computers,Programming languages (Electronic computers)

Classification :
QA
76
.
5
.
A368

8. Computer methods in mathematics

Author:

Library: Central Library and Archive Center of shahid Beheshti University (Tehran)

Subject: Electronic data processing - Mathematics,Computers,Programming languages (Electronic computers)

Classification :
510
.
18
A341c

9. Domain-theoretic foundations of functional programming

Author:

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)

Classification :
QA
76
.
7
.
S818
2006

10. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz

Classification :
QA
76
.
L28
Vol
.
2300

11. Generalized quantifiers and computation

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

12. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
1754

13. Grammars and automata for string processing: from mathematics and computer science to biology, and back

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

Classification :
QA
76
.
G64
2003

14. Grammars and automata for string processing : from mathematics and computer science to biology, and back

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

Classification :
QA
76
.
G69

15. Initial computability, algebraic specifications, and partial algebras

Author:

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

Classification :
QA
76
.
9
.
M35R45
1987

16. MATLAB Recipes

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;

17. Maple user manual.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)

Classification :
QA76
.
95
.
M362
2005

18. Mathematical aspects of natural and formal languages

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Programming languages )Electronic computers(-- Mathematics

Classification :
QA
76
.
7
.
M376
1994

19. Mathematical aspects of natural and formal languages

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Programming languages (Electronic computers)- Mathematics

Classification :
511
M426

20. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
298